Oxford University Computing Laboratory - PDFSEARCH.IO - Document Search Engine

Oxford University Computing Laboratory
Results: 135

#	Item
121	McGill University School of Computer Science Sable Research Group Oxford University Computing Laboratory Programming Tools Group Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2010-01-11 10:16:57 Aspect-oriented software development Aspect-oriented programming Cross-platform software AspectJ Join point Sable Research Group Java bytecode Java Bytecode Software development Software Computing
122	Physics from Computer Science — a position statement — S AMSON A BRAMSKY1 ⋆, B OB C OECKE1† Oxford University Computing Laboratory, UK Received 17 December 2005; In final form 17 March 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:58 Quantum mechanics Information theory Quantum measurement Quantum computer Quantum teleportation Quantum logic Density matrix Qubit Physical information Physics Theoretical computer science Quantum information science
123	A Cook’s Tour of the Finitary Non-Well-Founded Sets Samson Abramsky Oxford University Computing Laboratory 1 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:32 Boolean algebra Order theory Algebraic structures General topology Algebraic logic Metric space Ultrafilter Filter Algebra Mathematics Structure Mathematical logic
124	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
125	Petri Nets, Discrete Physics, and Distributed Quantum Computation Samson Abramsky Oxford University Computing Laboratory This paper is dedicated to Ugo Montanari on the occasion of his 65th birthday. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:50 Mathematics Braided monoidal category Petri net Monoid PRO Penrose graphical notation Linear logic Tensor product Tensor Category theory Algebra Monoidal categories
126	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
127	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. http://web.comlab.ox.ac.uk/oucl/wo Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:09 Monoidal categories Dagger compact category Braided monoidal category Compact closed category Monoid Vector space Closed category Quantum logic Product Algebra Category theory Mathematics
128	A Game Semantics for Generic Polymorphism Samson Abramsky Oxford University Computing Laboratory Radha Jagadeesan DePaul University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:19 Theoretical computer science Applied mathematics Generic programming Sheaf Combinatory logic Holomorphic functional calculus Mathematics Computability theory Lambda calculus
129	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
130	Under consideration for publication in Math. Struct. in Comp. Science A Categorical Quantum Logic SAMSON ABRAMSKY ROSS DUNCAN Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:05 Biproduct Closed monoidal category Compact closed category Dagger compact category Quantum logic Coproduct Braided monoidal category Closed category Category of finite dimensional Hilbert spaces Category theory Mathematics Monoidal categories

UPDATE